Meta-extract: Using Existing Facts in Meta-reasoning

Meta-extract: Using Existing Facts in Meta-reasoning

ACL2 has long supported user-defined simplifiers, so-called metafunctions and clause processors, which are installed when corresponding rules of class :meta or :clause-processor are proved. Historically, such simplifiers could access the logical world at execution time and could call certain built-in proof tools, but one could not assume the soundness of the proof tools or the truth of any fact...

investigation of (meta)discourse markers in elt coursebooks

the present study aimed to investigate representation of discourse markers and metadiscourse markers in conversations and readings of general elt coursebook series used in the language centers of iran. to this aim, four elt coursebooks popularly taught in language centers of this country were analyzed based on fung and carter’s (2007) framework regarding discourse markers and hyland’s (2005) fr...

Meta-Knowledge and Meta-Reasoning

We describe three experiments using meta-language and meta-reasoning to solve problems involving belief, heuristics, and points of view. These experiments use the knowledge representation system SPHERE, built at Hewlett-Packard Laboratories and based on the ideas of FOL [20]. A key idea underlying our research is the segmentation of knowledge into contexts and the meta-linguistic treatment of t...

Meta Reasoning in ACL2

Meta-reasoning: A Survey

We present the basic principles and possible applications of systems capable of meta-reasoning and reflection. After a discussion of the seminal approaches, we outline our own perception of the state of the art, mainly but not only in computational logic and logic programming. We review relevant successful applications of meta-reasoning, and the basic underlying semantic principles.